Collision Attacks against CAESAR Candidates Forgery and Key-Recovery against AEZ and Marble Thomas Fuhr1 , Ga¨etan Leurent2 , Valentin Suder3 1 ANSSI, France

Source URL: who.rocq.inria.fr

• Cryptography
• Block cipher modes of operation
• Block cipher
• Chosen-plaintext attack
• Authenticated encryption
• Cryptanalysis
• Galois/Counter Mode
• Chosen-ciphertext attack
• Advanced Encryption Standard
• OCB mode
• Data Encryption Standard
• Book:Cryptography 1

Node Variability in Large-Scale Power Measurements: Perspectives from the Green500, Top500 and EEHPCWG Thomas Scogland Green500 List and Lawrence Livermore National Laboratory

Source URL: rivoire.cs.sonoma.edu

• Computing
• Computer architecture
• Computers and the environment
• Supercomputers
• Cluster computing
• Cray
• Supercomputing in Japan
• Performance per watt
• Titan
• K computer
• Tsubame
• TOP500

SWIFT: Predictive Fast Reroute Technical Report Thomas Holterbach∗† , Stefano Vissicchio‡ , Alberto Dainotti† , Laurent Vanbever∗ ∗ ETH Zürich, † CAIDA, UC San Diego, ‡ University College London ABSTRACT

Source URL: swift.ethz.ch

Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2

Source URL: www.cs.purdue.edu

• Finite automata
• Finite-state transducer
• Timed automaton
• Finite-state machine
• Control theory
• XC
• Applied mathematics
• Mathematics
• Systems science
• Tree transducer

The Grothendieck-Teichmüller Group Thomas Willwacher February 27, 2014 2

Source URL: people.math.ethz.ch

• Algebra
• Abstract algebra
• Mathematics
• Number theory
• Non-associative algebra
• GrothendieckTeichmller group
• Associator
• Universal property
• Torsor
• Quantum group
• Unipotent
• Representation theory

AFiniteNumberOfMonkeys Organising monkeys or How to run a hacking club Andreea-Ina Radu, Sam L. Thomas

Source URL: afnom.net

• CTFS
• Capture the flag
• Shellcode
• Human behavior
• Recreation

Pattern Matches in HOL: A New Representation and Improved Code Generation Thomas Tuerk1 , Magnus O. Myreen2,3 , and Ramana Kumar3 2 1

Source URL: cakeml.org

• Computer programming
• Declarative programming
• Software engineering
• Functional programming
• Type theory
• Predicate logic
• Monad
• Algebraic data type
• Conditional
• Expression
• Quantifier
• Standard ML

PUMP: A Programmable Unit for Metadata Processing Udit Dhawan1 Nikos Vasilakis1 Jonathan M. Smith1 Thomas F. Knight, Jr.3 1

Source URL: nikos.vasilak.is

LOCAL RRH THOMAS WILLWACHER Abstract. In [6] Engeli and Felder describe a generalized Riemann-RochHirzebruch formula to compute the Lefschetz numbers of differential operators on holomorphic vector bundles. Essentially,

Source URL: people.math.ethz.ch

• Differential geometry
• Mathematical analysis
• Connection
• Geometry
• Topology
• Holomorphic vector bundle
• Connection form
• Hermitian manifold
• Curvature form
• Sheaf
• Affine connection
• Torsion tensor